The propagators for the common constraints are implemented in Gecode, so the actual propagation of those constraints is done there. 在Gecode中已经实现了通用约束的传播机制,所以这些约束的实际传播过程已在此处完成。
All these measure along with propagation analysis of constraints established the theory and quick solution of geometric constraint engine. 通过约束传播分析,为几何约束求解引擎的实现提供了理论依据和快速算法。
Based on the manifold distance matrix, the Pairwise constraints were spread in the feature space by their propagation characteristics, and described by modifying the distance matrix of datasets; consequently, the application limit of AP to the clustering with constraints in practice is resolved. 在流形距离矩阵的基础上,利用成对约束的传播特性使约束在特征空间传播开来,并通过修改距离矩阵的方法将其展现,从而解决了约束条件对近邻传播算法应用的限制。
Then an improved interval propagation algorithm was brought up which solved the detection of multi-variable, value continuous constraints in aircraft cooperative design. 基于这种树形约束数据结构,文章提出了一种改进的区间传播算法,解决了飞行器协同设计中连续值域多元约束网络中的冲突检测。